3

Positive provability logic for uniform reflection principles

Year:
2014
Language:
english
File:
PDF, 398 KB
english, 2014
4

Reflection principles and provability algebras in formal arithmetic

Year:
2005
Language:
english
File:
PDF, 474 KB
english, 2005
6

Encouraging Results and New Ideas for Fusion in Linear Traps

Year:
2018
Language:
english
File:
PDF, 1.40 MB
english, 2018
9

On bimodal logics of provability

Year:
1994
Language:
english
File:
PDF, 2.56 MB
english, 1994
10

Le biotope dans le milieu marin

Year:
1972
File:
PDF, 1.97 MB
1972
11

Provability logics for natural turing progressions of arithmetical theories

Year:
1991
Language:
english
File:
PDF, 974 KB
english, 1991
12

Electrobioluminescence of the blood

Year:
1971
Language:
english
File:
PDF, 133 KB
english, 1971
13

Effect of rotation on plasma stability in the gas-dynamic trap

Year:
2008
Language:
english
File:
PDF, 321 KB
english, 2008
16

Gödel incompleteness theorems and the limits of their applicability. I

Year:
2011
Language:
english
File:
PDF, 336 KB
english, 2011
19

ON THE CLASSIFICATION OF PROPOSITIONAL PROVABILITY LOGICS

Year:
1990
Language:
english
File:
PDF, 266 KB
english, 1990
22

Gödel's Theorem: An Incomplete Guide to Its Use and Abuseby Torkel Franzén

Year:
2007
Language:
english
File:
PDF, 504 KB
english, 2007
26

Diamagnetic “bubble” equilibria in linear traps

Year:
2016
Language:
english
File:
PDF, 564 KB
english, 2016
27

Helical plasma thruster

Year:
2015
Language:
english
File:
PDF, 747 KB
english, 2015
30

Helicoidal System for Axial Plasma Pumping in Linear Traps

Year:
2013
Language:
english
File:
PDF, 382 KB
english, 2013
39

Effect of Differential Rotation on Plasma Stability in the Gas-Dynamic Trap

Year:
2005
Language:
english
File:
PDF, 289 KB
english, 2005
45

Bioremediation of Concrete Contaminated with n-Hexadecane and Naphthalene

Year:
2003
Language:
english
File:
PDF, 135 KB
english, 2003
48

Iterated local reflection versus iterated consistency

Year:
1995
Language:
english
File:
PDF, 1.44 MB
english, 1995
49

Provability algebras and proof-theoretic ordinals, I

Year:
2004
Language:
english
File:
PDF, 304 KB
english, 2004